- building logic
- 积木式逻辑
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
building logic
Look at other dictionaries:
Building automation — can also refer to Build automation, the practice of programmatically compiling software programs. A Building Automation System (BAS) is an example of a Distributed control system. Building automation describes the functionality provided by the… … Wikipedia
Logic Lane — looking towards the High, with the Durham Buildings on right … Wikipedia
Logic family — In computer engineering, a logic family may refer to one of two related concepts. A logic family of monolithic digital integrated circuit devices is a group of electronic logic gates constructed using one of several different designs, usually… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic bomb — A logic bomb is a piece of code intentionally inserted into a software system that will set off a malicious function when specified conditions are met. For example, a programmer may hide a piece of code that starts deleting files (such as a… … Wikipedia
Building Energy Simulation Test — The Building Energy Simulation Test ( BESTEST ) is a project is a project developed by the International Energy Agency for practical implementation procedure and data for an overall IEA validation methodology which has been under development by… … Wikipedia
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Inverter (logic gate) — INPUT A OUTPUT NOT A 0 1 1 0 Traditional NOT Gate (Inverter) symb … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
